Residuated lattice is a fuzzy logic algebra system which is widely used BCK-algebra and BR0-algebra are also very important algebra systems.
剩余格是具有广泛应用的一类模糊逻辑代数系统，同样BCK-代数，BR0-代数也是非常重要的代数系统。
参考来源 - BCKUsing Extended Backus-Naur Form and logic algebra, the syntactic rules and semantic rules specialized for UMQL are defined, and based on them, a UMQL grammar analyzer is designed so as to implement the correctness check of a UMQL query.
运用扩展巴克斯范式和逻辑代数,定义了UMQL完整的语法规则和语义规则,并据此设计UMQL语法分析器,实现对UMQL查询的语法合法性检查。
参考来源 - 多媒体查询语言及其查询处理方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
It was analyzed in detail about the way of fault diagnosis of the sensors of magnetic bearings in guidance with the multi-valued logic algebra.
分析了电磁轴承多传感器故障的基本特征，提出了电磁轴承多传感器故障诊断方法——基于序列变量的多值逻辑代数方法。
In this paper making use of Boolean logic algebra and logic circuit networks find dynamics transition of genetic regulatory from genetic regulatory Boolean networks.
为了重构基因调控网络，提出可以通过基因之间的布尔逻辑代数和逻辑电路网络得到基因调控的动态转换。
This paper gives a necessary introduction to the base operation of the multi-valued logic algebra system and fundamental gate circuit for realizing these base operation.
本文对于多值逻辑代数系统中的基本运算和实现这些基本运算的门电路，作了必要的阐述。
应用推荐